The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harnesses used in the development of the paper (set-up and ready to run). The README contains instructions to reproduce results from the paper, as well as pointers for how to use, extend or modify the tool and benchmarks
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
An artifact of a binary fuzz testing tool, Eclipser v0.1. The artifact contains a Docker image and s...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
This artifact allows the AEC to evaluate and reproduce the experiments for the corresponding paper ...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is a Docker image that contains the codebase and evaluation scripts for our OOPSLA 2023 paper "...
Contains artifact for wasm-prechk work, including VM and docker images for reproducing the artifact,...
This artifact contains an evaluation sample of the data necessary to independently validate and repl...
Artifacts for PLDI'23, "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpre...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
This archive is the complete artifact accompanying VMCAI 2021 paper "Runtime Abstract Interpretation...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
An artifact of a binary fuzz testing tool, Eclipser v0.1. The artifact contains a Docker image and s...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harn...
This artifact allows the AEC to evaluate and reproduce the experiments for the corresponding paper ...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is a Docker image that contains the codebase and evaluation scripts for our OOPSLA 2023 paper "...
Contains artifact for wasm-prechk work, including VM and docker images for reproducing the artifact,...
This artifact contains an evaluation sample of the data necessary to independently validate and repl...
Artifacts for PLDI'23, "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpre...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
This archive is the complete artifact accompanying VMCAI 2021 paper "Runtime Abstract Interpretation...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
An artifact of a binary fuzz testing tool, Eclipser v0.1. The artifact contains a Docker image and s...
POPL 2023 Artifact for the tool stitch from the paper "Top-Down Synthesis for Library Learning" (POP...
DOI
Add to ORKG